let alpha: 'a . f('a) => g('a);